$e_{1}$ $\leq$ $e_{2}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($e_{1}$.1) = ($e_{2}$.1)) c$\wedge$ ($e_{1}$.2).1 $\leq$loc ($e_{2}$.2).1